منابع مشابه
Online Assessment of Programming Exercises
In our opinion programming can only be learned by reading and, first of all, writing programs [5]. It is our educational objective to advice the student to write programs and not only to learn the syntax. Programming exercises thus should be assessed by looking into the source code and documentation of the student’s solution. Their quality is essential. Hence we disagree with the approaches tha...
متن کاملAutomated Exercises for Constraint Programming
We describe the design, implementation, and empirical evaluation of some automated exercises that we are using in a lecture on Constraint Programming. Topics are propositional satisfiability, resolution, the DPLL algorithm, with extension to DPLL(T), and FD solving with arc consistency. The automation consists of a program for grading student answers, and in most cases also a program for genera...
متن کامل13 Subjective Programming
Programming problems are defined by a constraint set and an objective function. The role of the constraint set is to limit the courses of action— the technical word is activities—to those that are feasible, and the role of the objective function is to give the preference relation on the activities. 1 The aim is to find a feasible activity that is preferred or indi¤erent to all other feasible ac...
متن کاملSome "Secure Programming" Exercises for an Introductory Programming Class
Ideally, computer security should be an integral part of all programming courses. Beginning programming classes pose a particular challenge, because the students are learning basic concepts of programming. Thus, teaching them about buffer overflows as security problems, requiring an explanation of concepts such as ―smashing the stack,‖ will confuse students more than motivate them to check arra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1986
ISSN: 0167-6423
DOI: 10.1016/0167-6423(86)90009-2